Institute for Information

Results: 10041



#Item
101

Too Big to Mail: On the Way to Publish Large-scale Mobile Analytics Data Ella Peltonen∗ , Eemil Lagerspetz∗ , Petteri Nurmi∗† , Sasu Tarkoma∗† † Helsinki Institute for Information Technology HIIT, Departme

Add to Reading List

Source URL: www.cs.helsinki.fi

- Date: 2016-12-05 16:57:41
    102

    Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems? Thomas Eiter, Michael Fink, and Peter Sch¨ uller Institute of Information Systems Vienna University of Technology

    Add to Reading List

    Source URL: www.peterschueller.com

    - Date: 2012-11-15 13:02:25
      103

      A Uniform Approach to Analogies, Synonyms, Antonyms, and Associations Peter D. Turney National Research Council of Canada Institute for Information Technology M50 Montreal Road

      Add to Reading List

      Source URL: www.anthology.aclweb.org

      - Date: 2010-06-14 15:03:12
        104

        How to Make a Frenemy: Multitape FSTs for Portmanteau Generation Aliya Deri and Kevin Knight Information Sciences Institute Department of Computer Science University of Southern California

        Add to Reading List

        Source URL: isi.edu

        - Date: 2015-03-13 15:08:32
          105

          Autonomy: an information theoretic perspective Nils Bertschinger, Eckehard Olbrich, Nihat Ay, J¨ urgen Jost Max Planck Institute for Mathematics in the Sciences, Inselstr. 22, DLeipzig, Germany March 9, 2007 Abst

          Add to Reading List

          Source URL: apophenia.wdfiles.com

          - Date: 2012-10-27 13:21:57
            106

            Deriving Tailored UML Interaction Models from Scenario-Based Runtime Tests Thorsten Haendler(B) , Stefan Sobernig, and Mark Strembeck Institute for Information Systems and New Media, Vienna University of Economics and Bu

            Add to Reading List

            Source URL: wi.wu.ac.at

            - Date: 2016-03-01 13:27:08
              107

              Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati KTH Royal Institute of Technology SE, Stockholm, Sweden

              Add to Reading List

              Source URL: prosper.sics.se

              - Date: 2013-10-17 09:26:32
                108

                A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules Harold Boley Institute for Information Technology National Research Council of Canada

                Add to Reading List

                Source URL: www.cs.unb.ca

                - Date: 2011-05-25 09:39:35
                  109

                  Inferring static non-monotonically sized types through testing Ron van Kesteren, Olha Shkaravska, Marko van Eekelen {R.vanKesteren, O.Shkaravska, M.vanEekelen}@cs.ru.nl Institute for Computing and Information Sciences Ra

                  Add to Reading List

                  Source URL: www.cs.ru.nl

                  - Date: 2015-04-11 11:05:04
                    110

                    Polynomial Size Analysis of First-Order Functions Olha Shkaravska, Ron van Kesteren, Marko van Eekelen {O.Shkaravska, R.vanKesteren, M.vanEekelen}@cs.ru.nl Institute for Computing and Information Sciences Radboud Univers

                    Add to Reading List

                    Source URL: www.cs.ru.nl

                    - Date: 2015-04-11 11:05:03
                      UPDATE